Based upon the timeless character devised by A.A. Milne, Winnie-the-Pooh's Little Book of Wisdom brings together the best of Pooh's ponderings, thoughts and wisdom about himself and life as it should be lived according to his own philosophy.

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is (...) formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system. (shrink)

A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.

Logic and philosophy of logic have increasingly become areas of research and great interest in Latin America and Spain, where significant work has been done and continues to be done in both of these fields. The goal of this volume is to draw attention to this work through a collection of original and unpublished papers by specialists from Latin America and Spain. Some of the papers are of importance for set-theory and model theory. They cover topics such as the foundations (...) of paraconsistency, the use of paraconsistent logic as a basis for set-theory, and the methodological aspects in both the justification of new axioms in set theory and the formalization of pre-theoretic notions. Other papers are related to epistemic logic. They deal with the issues of abduction and the choice of the simplest hypothesis, the definition of group probability, and the nature of explanation and understanding in such logic. There are also papers on logical paradoxes, the semantics of names, and the nature of relations. Max A. Freund is Professor of Logic and Philosophy at the University of Costa Rica and the National University of Costa Rica. He is co-author of the book Modal Logic its syntax and semantics, as well as the author of Judicial Logic, and of a forthcoming book The Logic of Sortals. Max Fernandez de Castro is Professor of Logic and Philosophy at the Autonomous Metropolitan University of Mexico. He is the author of the book Quine y la Ontologíaa and co-author of the books Lógica Matemática I: lógica proposicional, intuicionista y modal, Lógica Matemática II: clásica, intuicionista y modal, Teoría de Conjuntos, Lógica y Temas Afines I. Marco Ruffino is Professor of Philosophy at the University of Campinas and the editor of Manuscrito, the Brazilian international journal for Analytic Philosophy. He has many publications, in important philosophical journals, in the philosophy of language, of logic, and of mathematics; in the history of analytic philosophy, and on Frege and Wittgenstein. (shrink)

We develop a set-theoretic semantics for Cocchiarella's second-order logical system . Such a semantics is a modification of the nonstandard sort of second-order semantics described, firstly, by Simms and later extended by Cocchiarella. We formulate a new second order logical system and prove its relative consistency. We call such a system and construct its set-theoretic semantics. Finally, we prove completeness theorems for proper normal extensions of the two systems with respect to certain notions of validity provided by the semantics.

We shall distinguish between sortal predication and standard predication. The former kind of predication necessarily involves sortal concepts but the latter, as it is customarily viewed, does not. It is generally thought that the only essential occurrence of a concept in a standard predication is the concept being predicated. In this paper, we shall put forward an alternative view. We shall propose to understand standard predication as a cognitive act essentially requiring sortal concepts. We shall call this view conceptual predication (...) sortalism and ground it on the basis of epistemic-semantic reasons. Concepts are understood as intersubjectively realizable capacities or abilities that fulfill particular cognitive roles, such as those of classification, categorization, individuation, and referring. (shrink)

With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism.

El artículo formula una interpretación de la computabilidad desde la perspectiva del conceptualismo realista. En esta interpretación, la noción central es la de concepto computable, el cual se entiende como cierto tipo de capacidad cognitiva. Aquí se muestra cómo difiere esa interpretación conceptualista de la clásica, denominada teoría de la computabilidad efectiva, en la cual el concepto fundamental es el de algoritmo; también se discute la relación entre estas dos interpretaciones. La discusión explora las consecuencias de la idea de que (...) los contenidos de los conceptos computables se pueden expresar en algoritmos. En un apéndice se plantean, muy brevemente, las diferencias entre el enfoque conceptualista de la computabilidad y otros dos enfoques no clásicos: el intuicionista y el representacionista./// This paper formulates an interpretaron of computability from the perspective of realist conceptualism. The key notion within this theory is that of a computable concept, where a concept is a cognitive capacity of a certain sort. Differences and connections between the conceptualist interpretation and the classical one, customarily referred to as the theory of effective computability, for which the key concept is that of an algoríthm, are shown in the text. Consequences of the idea that the content of computable concepts can be expressed in algoríthms are explored. An appendix briefly outlines how the present conceptualist approach differs from two other non-classical interpretations of computability, the intuitionist and the representationist. (shrink)

This dissertation constitutes an inquiry into the formal aspects of a particular form of conceptual intentional realism: Holistic Realist Ramified Conceptualism. Several axiomatic systems, which have this theory as their philosophical background are developed and/or studied from a syntactical and semantical point of view. ;Among systems studied are Cocchiarella's RRC$\sbsp{\lambda}{\*}$ and HRRC$\sbsp{\lambda}{\*}$. A set theoretical semantics for these systems is developed. Also, completeness theorems with respect to certain extensions of RRC$\sbsp{\lambda}{\*}$ and HRRC$\sbsp{\lambda}{\*}$ and certain notions of validity related to that (...) semantics are proved. A relative consistency proof of RRC$\sbsp{\lambda}{\*}$, HRRC$\sbsp{\lambda}{\*}$ and other systems is given. ;An axiomatic system for identity free realist ramified conceptualism involving indiscernibility relative to constructive concepts is developed. A set theoretical semantics for this system is constructed. A completeness theorem with respect to certain extensions of the identity-free system and a notion of validity related to that semantics is proved. ;Epistemic considerations are brought into this inquiry by introducing an epistemic operator into the logical syntax. Such an operator corresponds intuitively to the idea of constructive knowability. A philosophical discussion of this idea is presented and on the basis of this discussion an epistemic logical theory is formulated. It is shown that this system has HRRC$\sbsp{\lambda}{\*}$ as a proper subsystem. On the basis of the epistemic logical theory, an axiomatic system is introduced from which Peano's arithmetic is deduced. In this way, it is shown that arithmetic can be developed axiomatically on conceptualist foundations. (shrink)

We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system.

Conceptual realism (a logico-philosophical semantic theory) has introduced a logical distinction between the cognitive structure of an assertion and its truth-conditions. We shall argue that the cognitive structure is part of the meaning of an assertion and that, consequently, should be taken into account when interpreting a natural language. We shall also explore this topic in relation to the problem of radical interpretation. The distinction will be made evident by first formulating a logical system (having conceptual realism as its philosophical (...) background) and then exhibiting it in the formal system. This will be preceded by a description of the main philosophical features of conceptual realism. (shrink)

We present a relative consistency proof for second order systemRRC* and for certain important extensions of this system. The proof proceeds as follows: we prove first the equiconsistency of the strongest of such extensions (viz., systemH RRC*+(/CP**)) with second order systemT * . Now, N. Cocchiarella has shown thatT * is relatively consistent to systemT*+Ext; clearly, it follows thatH RRC*+(/CP**) is relatively consistent toT*+E xt. As an immediate consequence, the relative consistency ofRRC* and the other extensions also follows, being all (...) of them subsystems ofH RRC*+(/CP**). (shrink)

In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight.

What does it mean for men to join with women in preventing sexual assault and domestic violence? This book, based on life history interviews with men and women anti-violence activists, illuminates both the promise of men's violence prevention work, as well as the strains and tensions that inhere, both for men as feminist allies, and for the women they work with.

A key source of support for the view that challenging people’s beliefs about free will may undermine moral behavior is two classic studies by Vohs and Schooler (2008). These authors reported that exposure to certain prompts suggesting that free will is an illusion increased cheating behavior. In the present paper, we report several attempts to replicate this influential and widely cited work. Over a series of five studies (sample sizes of N = 162, N = 283, N = 268, N (...) = 804, N = 982) (four preregistered) we tested the relationship between (1) anti-free-will prompts and free will beliefs and (2) free will beliefs and immoral behavior. Our primary task was to closely replicate the findings from Vohs and Schooler (2008) using the same or highly similar manipulations and measurements as the ones used in their original studies. Our efforts were largely unsuccessful. We suggest that manipulating free will beliefs in a robust way is more difficult than has been implied by prior work, and that the proposed link with immoral behavior may not be as consistent as previous work suggests. (shrink)

With contributions from some of the key figures in the contemporary debate on relativism this book is about a topic that is the focus of much traditional and ...

In Executive Order No. 10521, March 17, 1954, President Eisenhower stated: “…only a small fraction of the Federal Funds is being used to stimulate and support the vital basic research which makes possible our practical scientific progress. I believe strongly that this Nation must extend its support of research in basic science.”.

Max Weber (1864-1920), generally known as a founder of modern social science, was concerned with political affairs throughout his life. The texts in this edition span his career and include his early inaugural lecture The Nation State and Economic Policy, Suffrage and Democracy in Germany, Parliament and Government in Germany under a New Political Order, Socialism, The Profession and Vocation of Politics, and an excerpt from his essay The Situation of Constitutional Democracy in Russia, as well as other shorter writings. (...) Together they illustrate the development of his thinking on the fate of Germany and the nature of politics in the modern western state in an age of cultural 'disenchantment'. The introduction discusses the central themes of Weber's political thought, and a chronology, notes and an annotated bibliography place him in his political and intellectual context. (shrink)

The Continuum Companion to Philosophy of Language offers the definitive guide to contemporary philosophy of language. The book covers all the fundamental questions asked by the philosophy of language - areas that have continued to attract interest historically as well as topics that have emerged more recently as active areas of research. Ten specially commissioned essays from an international team of experts reveal where important work continues to be done in the area and, most valuably, the exciting new directions the (...) field is taking. The Companion explores issues pertaining to the nature of language, form semantics, theories of meaning, reference, intensional contexts, context-dependence, pragmatics, the normativity of language, analyticity, a priority and modality. Featuring a series of indispensable research tools, including an A to Z of key terms and concepts, a detailed list of resources and a fully annotated bibliography, this is the essential reference tool for anyone working in the philosophy of language. (shrink)

Population counts and longitude and latitude coordinates were estimated for the 50 largest cities in the United States by computational linguistic techniques and by human participants. The mathematical technique Latent Semantic Analysis applied to newspaper texts produced similarity ratings between the 50 cities that allowed for a multidimensional scaling (MDS) of these cities. MDS coordinates correlated with the actual longitude and latitude of these cities, showing that cities that are located together share similar semantic contexts. This finding was replicated using (...) a first‐order co‐occurrence algorithm. The computational estimates of geographical location as well as population were akin to human estimates. These findings show that language encodes geographical information that language users in turn may use in their understanding of language and the world. (shrink)

Suicidal Thoughts is a compilation of some of the most moving and insightful writing accomplished on the topic of suicide. It presents the thoughts and experiences of fifteen writers who have contemplated suicide-some on a professional level, others on a personal level, and a few, both personally and professionally. Through this collection, the reader is able to bear witness to the struggle between life and death and to the devastating aftermath of suicide. Suicidal Thoughts provides readers with a better understanding (...) of the reasons why some individuals give serious consideration to killing themselves. (shrink)

This article is a critical review of Stephen Schiffer’s monograph The Things We Mean . The text discusses some novel contributions made by Schiffer to the philosophy of meaning, in particular, Schiffer’s proposal for the reification of certain abstract entities and the application of his argument to the philosophical problem of vagueness in natural language. Special attention is paid both to Schiffer’s ingenious use of the notion of conservative extension , here employed as a criterion for distinguishing legitimate from illegitimate (...) reifications and to Schiffer’s notion of vague partial belief and its relation to standard partial belief. Schiffer’s particular understanding of vagueness and its relation to the sorites paradox is also considered, with some remarks made concerning the relationship between these related philosophical problems and human perception. Key Words: meaning • vagueness • sorites • perception • conservative extension • fictional entities. (shrink)

Music comprises a diverse category of cognitive phenomena that likely represent both the effects of psychological adaptations that are specific to music (e.g., rhythmic entrainment) and the effects of adaptations for non-musical functions (e.g., auditory scene analysis). How did music evolve? Here, we show that prevailing views on the evolution of music – that music is a byproduct of other evolved faculties, evolved for social bonding, or evolved to signal mate quality – are incomplete or wrong. We argue instead that (...) music evolved as a credible signal in at least two contexts: coalitional interactions and infant care. Specifically, we propose that (1) the production and reception of coordinated, entrained rhythmic displays is a co-evolved system for credibly signaling coalition strength, size, and coordination ability; and (2) the production and reception of infant-directed song is a co-evolved system for credibly signaling parental attention to secondarily altricial infants. These proposals, supported by interdisciplinary evidence, suggest that basic features of music, such as melody and rhythm, result from adaptations in the proper domain of human music. The adaptations provide a foundation for the cultural evolution of music in its actual domain, yielding the diversity of musical forms and musical behaviors found worldwide. (shrink)

O objetivo do presente artigo é desenvolver uma reflexão acerca de relações existentes entre informação e ação, no contexto das tecnologias informacionais de comunicação. O problema central que guiará o artigo pode ser assim formulado: Qual é a influência da informação disponível nas TICs na ação autônoma? O direcionamento de pesquisas em relação ao conceito de informação possui geralmente uma orientação técnica, não focalizando questões éticas, ontológicas e epistemológicas, que são igualmente relevantes ao se tratar desse conceito. Em contraste com (...) a orientação técnica vigente, ressaltamos a abordagem proposta por Charles S. Peirce, que caracteriza informação a partir de diferentes perspectivas: lógico-semântica, pragmática e semiótica. Partindo da hipótese que processos informacionais têm uma participação fundamental no direcionamento da ação, investigamos impactos das TICs presentes nas relações cotidianas. Discutimos transformações que as TICs têm possibilitado na relação agente-ambiente, ressaltando recursos computacionais de mineração de dados, que propiciam ações, muitas vezes direcionadas por interesses alheios àqueles dos usuários. Argumentamos que o estudo da informação é importante para entender possíveis implicações das TICs no direcionamento da ação humana. (shrink)